INRIA , Evaluation of Theme Num Project - team TROPICS march 2009 Project - team title : TROPICS
نویسنده
چکیده
language (“IL”) that makes the union of the constructs of individual imperative languages. Notice also the separation between the general-purpose program analysis and the differentiation engine itself. tapenade can be used simply as a web server, available at the URL: http://tapenade.inria.fr:8080/tapenade/index.jsp It can also be downloaded and installed from our FTP server ftp://ftp-sop.inria.fr/tropics/tapenade/README.html A documentation is available on our web page http://www-sop.inria.fr/tropics/ and as an INRIA technical report (RT-0300) http://hal.inria.fr/inria-00069880 tapenade is distributed with a license, which is free for academic research, and at a price for industrial or commercial use. Several companies have purchased an industrial license for tapenade (Rolls-Royce, BAe, Cargill, Credit Suisse), others are in the eval-
منابع مشابه
Tropics Summary of the Proposal
This is the English summary of our tropics proposal. We are proposing the creation of an inria projett, named tropics. Here at inria, we use to call projett what is usually known as a teamm. The goal of this team is to study and develop software tools dedicated to the analysis and transformation of scientiic programs. 1 People in the team Researchers on a permanent position: Laurent Hascot (sci...
متن کاملAsclepios: a Research Project-Team at INRIA for the Analysis and Simulation of Biomedical Images
Asclepios is the name of a research project-team officially launched on November 1, 2005 at INRIA Sophia-Antipolis, to study the Analysis and Simulation of Biological and Medical Images. This research project-team follows a previous one, called Epidaure, initially dedicated to Medical Imaging and Robotics research. These two project teams were strongly supported by Gilles Kahn, who used to have...
متن کاملIdentifying and Prioritizing the Key Factors of ERP System Implementation in Chaharmahal and Bakhtiari Saderat Bank using Theme Analysis Method and Fuzzy Dematel
The purpose of this study was to identify the key factors in implementing the organization's resource planning system in Chaharmahal and Bakhtiari Saderat Bank using theme analysis method. This research was a type of qualitative research that was done in an applied way. The research population consists of 15 experts and specialist in system implementation, resource planning in Chaharmahal and B...
متن کاملContemporary methods for evaluating complex project proposals
The ability to evaluate project proposals, assessing future success, and organizational value is critical to overall business performance for most enterprises. Yet, predicting project success is difficult and often unreliable. A four-year field study shows that the effectiveness of available methods for evaluating and selecting large, complex project depends on the specific project type, org...
متن کاملOn the SYM A evaluation report
The overall evaluation of the Sym A theme is very positive, and we are proud to be members of this community. We feel that the experts have thoroughly and carefully analyzed the directions of the theme and the contributions of the individual teams. One critique concerns a perceived lack of emphasis on “systems” compared to “programs”. We agree with this issue and would like to point out that th...
متن کامل